Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
121	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-07-30 11:26:12 Software engineering Logic in computer science Programming language semantics Type systems Denotational semantics Programming language Type inference Operational semantics Semantics Programming language theory Theoretical computer science Type theory
122	PDF Document Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Programming paradigms Constraint programming Logic programming Data types Prolog Inference Type system Type inference Software engineering Computing Computer programming
123	Microsoft PowerPoint - sigtest_compact Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2009-01-29 10:26:23 Design of experiments Statistical inference Non-parametric statistics Statistical hypothesis testing Null hypothesis P-value Type I and type II errors Statistical significance Sign test Statistics Hypothesis testing Statistical tests
124	Index ∇ (inference tree), 3, 98, 99, 118 Λ (in type function), 48 ∀ (in type scheme), 36 see also quantification α (type variable), 36 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:48:21 Data types Type theory C++ Procedural programming languages Functional programming Monad Variable Scope C++ classes Software engineering Computing Computer programming
125	Clinical Biostatistics Significance Tests Martin Bland Professor of Health Statistics University of York Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2007-04-23 09:15:16 Design of experiments Statistical inference Non-parametric statistics Statistical hypothesis testing Null hypothesis P-value Type I and type II errors Statistical significance Sign test Statistics Hypothesis testing Statistical tests
126	Estimation Preliminary: the Normal distribution Many statistical methods are only valid if we can assume that our data follow a distribution of a particular type, called the Normal distribution. Many naturally occurring Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2006-04-25 11:44:42 Measurement Statistical theory Sampling Standard error Confidence interval Standard deviation Normal distribution Sampling distribution Variance Statistics Statistical inference Data analysis
127	Current Book Language ::= Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Computing Type systems Data types Inference Type inference ALGOL 68 Type theory Programming language theory Software engineering
128	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-09-15 03:55:36 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
129	Fun with type functions Oleg Kiselyov Simon Peyton Jones Chung-chieh Shan Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-05-03 07:13:24 Type theory Data types Functional programming Monad Generic programming Type class Type inference Type system Polymorphism Software engineering Computing Computer programming

UPDATE